r == r.2.2.2.2.2.2.2.2 

latex

Up	rng sig object directory
Wellformedness Lemmas	rng div wf
Definitions	t.2